to_big_integer

pure function to_big_integer(): big_integer

Converts this integer to a big integer.

Since

0.12.0